#ifndef __UART_DEV_PUTCHAR__UART_DEV_PUTCHAR_H__
#define __UART_DEV_PUTCHAR__UART_DEV_PUTCHAR_H__

#include <public/config.h>
#include <public/basic_types.h>

#ifdef CONFIG_ARCH_SPARC
#define UART_REGISTER(reg) *(volatile unsigned int *)(CONFIG_UART_DEV_PUTCHAR_SWR_UART_BASE_ADDR + reg)

#endif


#ifdef CONFIG_ARCH_IA32
#define UART_REGISTER(reg) *(volatile unsigned char *)(CONFIG_UART_DEV_PUTCHAR_SWR_UART_BASE_ADDR + reg)

#endif


void sgi_uart_dev_putchar(uint8_t car);

void ssi_uart_dev_putchar(uint8_t car);

#endif


